Buy Used and New Zohar Manna Books

Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics, Series Number 31)

by Zohar Manna

ISBN 13: 9780898711646

Format: Paperback (53 pages)
Publisher: Society for Industrial and Applied Mathematics
Published: 01 Jan 1987

Save for later

Temporal Verification of Reactive Systems: Safety

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387944593

Format: Illustrated (530 pages)
Publisher: Springer
Published: 04 Aug 1995

Save for later

The Temporal Logic of Reactive and Concurrent Systems: Specification

by Zohar Manna,Amir Pnueli

ISBN 13: 9780387976648

Format: Illustrated (441 pages)
Publisher: Springer
Published: 15 Dec 1991

Save for later

The Calculus of Computation: Decision Procedures with Applications to Verification

by Aaron R. Bradley,Zohar Manna

ISBN 13: 9783642093470

Format: Paperback (382 pages)
Publisher: Springer
Published: 19 Oct 2010

Save for later